Programme logique avec contraintes (CLP). Etude et application au puzzle : Send plus more equal to money = Contraint logical programingLEMLOUMA, Tayeb; BOUDINA, Abdelmadjid.RIST. 2000, Vol 10, Num 1-2, pp 4-5, issn 1111-0015, 9, 63-85 [25 p.]Article

Recent advances in constraints (Cork, 19-21 June 2002, selected papers)O'Sullivan, Barry.Lecture notes in computer science. 2003, issn 0302-9743, isbn 3-540-00986-8, X, 199 p, isbn 3-540-00986-8Conference Proceedings

TCLP: Overloading, subtyping and parametric polymorphism made practical for CLPCOQUERY, Emmanuel; FAGES, Francois.Lecture notes in computer science. 2002, issn 0302-9743, isbn 3-540-43930-7, p. 480Conference Paper

Compiling constraint handling rules into prolog with attributed variablesHOLZBAUR, C; FRÜHWIRTH, T.Lecture notes in computer science. 1999, pp 117-133, issn 0302-9743, isbn 3-540-66540-4Conference Paper

Programmation logique avec contraintes = Constraint logic programmingTRILLING, Laurent.Techniques de l'ingénieur. Informatique. 1998, Vol HB3, Num H3158, pp H3158.1-H3158.8, issn 0245-9612Article

Declarative diagnosis of wrong answers in constraint functional-logic programmingCABALLERO, Rafael; RODRIGUEZ ARTALEJO, Mario; DEL VADO VIRSEDA, Rafael et al.Lecture notes in computer science. 2006, pp 421-422, issn 0302-9743, isbn 3-540-36635-0, 1Vol, 2 p.Conference Paper

Partial stable generated models of generalized logic programs with constraintsSCHWARZ, Sibylle.Lecture notes in computer science. 2001, pp 781-782, issn 0302-9743, isbn 3-540-42863-1Conference Paper

Beyond the plan-length criterionNAREYEK, Alexander.Lecture notes in computer science. 2001, pp 55-78, issn 0302-9743, isbn 3-540-42898-4Conference Paper

Proposition d'un système de programmation lissée pour les industries de type mono-transformation = Proposition of a leveled programming system for single transformation industriesKozicki, Gislaine; Tahon, C.1994, 120 p.Thesis

Transformation rules for locally stratified constraint logic programsFIORAVANTI, Fabio; PETTOROSSI, Alberto; PROIETTI, Maurizio et al.Program development in computational logic : a decade of research advances in logic-based program development. Lecture notes in computer science. 2004, pp 291-339, issn 0302-9743, isbn 3-540-22152-2, 49 p.Book Chapter

User-interaction in constraint satisfactionO'SULLIVAN, Barry.Constraints (Dordrecht). 2004, Vol 9, Num 4, issn 1383-7133, 95 p.Serial Issue

A note on redundant rules in rule-based constraint programmingBRAND, Sebastian.Lecture notes in computer science. 2003, pp 109-120, issn 0302-9743, isbn 3-540-00986-8, 12 p.Conference Paper

Automated analysis of CLP(FD) program execution tracesDUCASSE, Mireille; LANGEVINE, Ludovic.Lecture notes in computer science. 2002, pp 470-471, issn 0302-9743, isbn 3-540-43930-7, 2 p.Conference Paper

Integration of quantifier elimination with constraint logic programmingSTURM, Thomas.Lecture notes in computer science. 2002, pp 7-11, issn 0302-9743, isbn 3-540-43865-3, 5 p.Conference Paper

Propagation completeness of reactive constraintsMAHER, Michael J.Lecture notes in computer science. 2002, pp 148-162, issn 0302-9743, isbn 3-540-43930-7, 15 p.Conference Paper

Raisonnement sur les propriétés de contraintes numériques = Reasoning on constraint propertiesBORDEAUX, Lucas; MONFROY, Eric; BENHAMOU, Frédéric et al.JFPLC'2002 : journées francophones de programmation en logique et de programmation par contraintes. 2002, pp 13-26, isbn 2-7462-0477-0Conference Paper

Combination of constraint systems II: Rational amalgamationSCHULZ, Klaus U; KEPSER, Stephan.Theoretical computer science. 2001, Vol 266, Num 1-2, pp 113-157, issn 0304-3975Article

Constraint programming for distributed resource allocationPRAGNESH JAY MODI.Lecture notes in computer science. 2001, issn 0302-9743, isbn 3-540-42863-1, p. 773Conference Paper

High-level reformulation of constraint programsHNICH, Brahim; FLENER, Pierre.JFPLC'2001 : journées francophones de programmation en logique et de programmation par contraintes. 2001, pp 76-89, isbn 2-7462-0255-7Conference Paper

CCL'99 : constraints in computational logics, theory and applications (Gif sur Yvette, 5-8 September 1999, revised lectures)Comon, Hubert; Marché, Claude; Treinen, Ralf et al.Lecture notes in computer science. 2001, issn 0302-9743, isbn 3-540-41950-0, XII, 309 p, isbn 3-540-41950-0Conference Proceedings

Amélioration de la complexité des kB-consistances = Complexity improvement of kB consistancyBORDEAUX, Lucas; MONFROY, Eric; BENHAMOU, Frédéric et al.JFPLC'2001 : journées francophones de programmation en logique et de programmation par contraintes. 2001, pp 207-221, isbn 2-7462-0255-7Conference Paper

Abstracting numeric constraints with Boolean functionsHOWE, J. M; KING, A.Information processing letters. 2000, Vol 75, Num 1-2, pp 17-23, issn 0020-0190Article

Contraintes ensemblistes et fonctions graduées en programmation logique avec contraintes = Set constraints and graduations in constraint logic programmingBerkaoui, Lotfi; Legeard, Bruno.1999, 136 p.Thesis

COLETTE, prototyping CSP solvers using a rule-based languageCASTRO, C.Lecture notes in computer science. 1998, pp 107-119, issn 0302-9743, isbn 3-540-64960-3Conference Paper

Résolution de contraintes sur les séquences en Programmation Logique avec Contraintes = Solving sequences constraints in Constraints Logic ProgrammingZidoum, Hamza; Legeard, B.1996, 144 p.Thesis